KLEE crash course